$M$.V($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Valtype(1of(2of($M$));$k$)